Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols
نویسندگان
چکیده
Cesium is an object-oriented environment for testing that implementations of real-time, fault-tolerant protocols satisfy the safety and timeliness properties prescribed by their speciications. Protocol implementations are tested under conngurable workloads and failure scenarios. A centralized simulator executes all tasks in a single address space while providing the appearance of truly distributed execution. Experiments can be exactly reproduced any number of times; Ce-sium provides an unprecedented degree of monitoring and control over them. It is not necessary to instrument (or even to have access to) the source code of the protocols under test. The observed behaviors correspond exactly to executions in the real system being simulated, as Cesium does not change the time of occurrence of any event. Besides from providing a testing and performance evaluation environment superior to real distributed systems, Cesium can test properties of existing protocols that can not be tested in any distributed environment.
منابع مشابه
Testing and Fault Injection of Distributed Protocols
A growing challenge confronting designers and implementors of safety-critical distributed systems is the evaluation and validation of dependability requirements. This paper address the problem of testing fault-tolerance capabilities of distributed protocols. It introduces a general framework for fault injection and testing of distributed systems and it describes an ongoing development of a tool...
متن کاملTesting of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injektion
As software for distributed systems becomes more complex, ensuring that a system meets its prescribed specification is a growing challenge that confronts software developers. This is particularly important for distributed applications with strict dependability and timeliness constraints. This paper reports on ORCHESTRA, a portable fault injection environment for testing implementations of distr...
متن کاملCentralized Failure Injection for Distributed, Fault-Tolerant Protocol Testing
We describe a centralized approach to testing that distributed fault-tolerant protocols satisfy their safety and timeliness speciications in the presence of the very failures they are designed to tolerate. Cesium is a testing environment based on the centralized simulation of distributed executions and failures. Processes are run in a single address space while providing the appearance of a tru...
متن کاملA Comparison of Can and Ttp
This paper compares the principles of operation, the services, the dependability mechanisms and the system level properties of distributed real-time systems that are based on the Controller Area Network (CAN) protocol and the Time-Triggered protocol (TTP). The paper comes to the conclusion that CAN is well suited for soft real-time systems where flexibility is important, while TTP is most appro...
متن کاملA Software Fault Injection Tool on Real-Time Mach
Ensuring that a distributed real-time system with strict dependability constraints meets its prescribed speciication is a growing challenge that confronts software developers and system engineers. This paper reports on a software fault injection tool, called SockPFI, for testing the fault tolerance and timing behavior of distributed real-time applications. SockPFI, developed on Real-Time Mach, ...
متن کامل